A direct path to dependable software

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Direct Path to Dependable Software review articles

S O FTWAR E P LAYS A fundamental role in our society, bringing enormous benefits to all fields. But because many of our current systems are highly centralized and tightly coupled, 33 we are also susceptible to massive and coordinated failure. A Chicago hospital lost its entire pharmacy database one night, and it was only able to reconstruct medication records for its patients by collecting pape...

متن کامل

Predictable Software - A Shortcut to Dependable Computing?

Many dependability techniques expect certain behaviors from the underlying subsystems and fail in chaotic ways if these expectations are not met. Under expected circumstances, however, software tends to work quite well. This paper suggests that, instead of fixing elusive bugs or rewriting software, we improve the predictability of conditions faced by our programs. This approach might be a cheap...

متن کامل

Dependable Software

Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. Cite as follows: Bertrand Meyer, Dependable Software, to appear in Dependable Systems: Software, Computing, Networks, eds. Jürg Kohlas, Bertrand Meyer, André Schiper, Lecture Notes in Computer Science, Springer-Verlag, 2006.

متن کامل

Dependable software deployment

Large and complex software systems, like those common on personal computers, often contain many components that can be deployed separately—applications, libraries, drivers, etc.—but that must then be bound together into working configurations. Configuring software is difficult and error-prone in practice, and it is not well understood in theory. As a result, real software systems are often conf...

متن کامل

Dependable software by design.

sig Object {} sig File, Dir extends Object {}

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Communications of the ACM

سال: 2009

ISSN: 0001-0782,1557-7317

DOI: 10.1145/1498765.1498787